| Modulekode | WTW 724 |
| Kwalifikasie | Postgraduate |
| Fakulteit | Faculty of Natural and Agricultural Sciences |
| Module-inhoud | Axiomatic set theory, ordinals, transfinite induction and recursion, ordinal arithmetic, the axiom of choice, cardinal arithmetic, the continuum hypothesis. Propositional and first order logic. The completeness and compactness theorems. Decidability, Gödel’s incompleteness theorems. |
| Modulekrediete | 15.00 |
| NQF Level | 08 |
| Programme | |
| Contact time | 1 lecture per week |
| Language of tuition | Module is presented in English |
| Department | Mathematics and Applied Mathematics |
| Period of presentation | Semester 1 |
Copyright © University of Pretoria 2024. All rights reserved.
Virtual Campus
Get Social With Us
Download the UP Mobile App